EXTRA_DIST = alarm.gif \
			 alarm.png \
			 back.gif \
			 back.png \
			 backgroup.png \
			 backgroup1.png \
			 cancel.gif \
			 cancel.png \
			 forward.gif \
			 forward.png \
			 gray32.gif \
			 green32.gif \
			 home.gif \
			 home.png \
			 htank.gif \
			 htank.png \
			 htank1.gif \
			 htank_o.png \
			 htank_w.png \
			 leak.gif \
			 leak.png \
			 llower.png \
			 lower.png \
			 normal.png \
			 ok.gif \
			 ok.png \
			 report.gif \
			 report.png \
			 setting.gif \
			 setting.png \
			 title.gif \
			 title.png \
			 upper.png \
			 uupper.png \
			 vtank.xpm \
			 wrong.gif \
			 yellow32.gif 
